• Automatic Definition of Test Procedures via Constraint-Solving 

      Wiik, Petter Husmo (Master thesis, 2021)
      Testing og verifisering av digitale systemer er en nødvendig del av design av digitale kretser i industrien. Den beste måten å verifisere at et digitalt system fungerer som det skal er omfattende testing. Jobben med å lage ...